Thus Dedekind infinite sets contain subsets that correspond bijectively with the natural numbers.
2.
A set " S " is called Dedekind infinite if there exists an injective, non-surjective function f : S \ rightarrow S.
3.
An infinite set can simply be defined as one having the same size as at least one of its proper parts; this notion of infinity is called Dedekind infinite.